$\vdash$  $\forall$$b$:$\mathbb{B}$. ($\uparrow$$b$) $\Rightarrow$ (Ax $\in$ ($\uparrow$$b$))